test:
	CRYPTOLPATH=../classic:../enigma cryptol -b sanity.icry
